1

Framing a phenomenological interview: what, why and how

Année:
2016
Langue:
english
Fichier:
PDF, 517 KB
english, 2016
3

Terrorism: Denying Al Qaeda its popular support

Année:
2004
Langue:
english
Fichier:
PDF, 1.00 MB
english, 2004
4

Complete logic programs with domain-closure axiom

Année:
1988
Langue:
english
Fichier:
PDF, 1.05 MB
english, 1988
10

Categorical models of polymorphism

Année:
1992
Langue:
english
Fichier:
PDF, 3.40 MB
english, 1992
16

Optimizing optimal reduction

Année:
2006
Langue:
english
Fichier:
PDF, 849 KB
english, 2006
37

Vortex-lattice melting in Tl-2212 thin films

Année:
1994
Langue:
english
Fichier:
PDF, 286 KB
english, 1994
38

Magnetoresistance in Bi-2212 single crystal

Année:
1994
Langue:
english
Fichier:
PDF, 437 KB
english, 1994
41

The weak lambda calculus as a reasonable machine

Année:
2008
Langue:
english
Fichier:
PDF, 440 KB
english, 2008
45

Proof nets, garbage, and computations

Année:
2001
Langue:
english
Fichier:
PDF, 853 KB
english, 2001
46

Coherence for sharing proof-nets

Année:
2003
Langue:
english
Fichier:
PDF, 343 KB
english, 2003
47

Experiments in linear natural deduction

Année:
1997
Langue:
english
Fichier:
PDF, 853 KB
english, 1997